6dfb4bce8ca47f35b639542add81c099d0ebffd3,src/main/java/org/sdmlib/models/pattern/ReachabilityGraph.java,ReachabilityGraph,explore,#number#Searchmode#,637

Before Change


                  // no isomorphic old state, add new state
                  this.withStates(newReachableState).withTodo(newReachableState).withStateMap(newCertificate,
                     newReachableState);
                  current.createRuleapplications().withDescription("" + rule.getName()).withTgt(newReachableState);
                  int size = this.getStates().size();
                  // progress bar, 30 steps
                  if (maxNoOfNewStates < 30 || size % (maxNoOfNewStates / 30) == 0 || changedIgnoreString)

After Change


                  // no isomorphic old state, add new state
                  this.withStates(newReachableState).withTodo(newReachableState).withStateMap(newCertificate,
                     newReachableState);
                  current.createRuleapplications().withRule(rule).withDescription("" + rule.getName()).withTgt(newReachableState);
                  int size = this.getStates().size();
                  // progress bar, 30 steps
                  if (maxNoOfNewStates < 30 || size % (maxNoOfNewStates / 30) == 0 || changedIgnoreString)